Principles of Programming Languages
نویسنده
چکیده
There is usually two parts to the definition of a (programming) language. The first part is what is called the syntax, that is, the sequence of characters, the language constructs (building blocks) that allow one to construct a program in that language. The second part of a language definition is what is termed as the Semantics of the language. Semantics often refers to the behaviour of a program in the language. This can in turn be defined in terms of the behaviour of the individual language constructs and how these interact with one another. This module will deal with language semantics.
منابع مشابه
The Integration of Functions into Logic Programming: A Survey
Functional and logic programming are the most important declarative programming paradigms, and interest in combining them has grown over the last decade. Early research concentrated on the definition and improvement of execution principles for such integrated languages, while more recently efficient implementations of these execution principles have been developed so that these languages became...
متن کاملPrinciples for modeling language design
Modeling languages, like programming languages, need to be designed if they are to be practical, usable, accepted, and of lasting value. We present principles for the design of modeling languages. To arrive at these principles, we consider the intended use of modeling languages. We conject that the principles are applicable to the development of new modeling languages, and for improving the des...
متن کاملPrinciples, Preferences and Ideals for Computer Arithmetic
This paper presents principles and preferences for the implementation of computer arithmetic and ideals for the arithmetic facilities in future programming languages. the implementation principles and preferences are for the current approaches to the design of arithmetic units. The ideals are for the long term development of programming languages, with the hope that arithmetic units will be bui...
متن کاملLecture Notes on the Principles of Programming Languages
4 Syntactic Interpreter for LC (Behavior) 17 4.1 Rules of Evaluation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 4.2 An Evaluator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 4.3 Toward Assigning Meaning to Phrases . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 4.4 Summary . . . . . . . . . . . . . . . . . . ...
متن کاملMulti-paradigm Logic Programming a Simple Operational Model for Concurrent Functional Logic Programming
In this paper we specify an operational semantics which combines the most important operational principles of functional logic languages, namely residuation and narrowing. Narrowing combines eecient evaluation principles of functional languages with the problem-solving capabilities of logic programming. Residuation restricts this combination but adds the possibility of concurrent computations. ...
متن کاملThe Integration of Functions into Logic Programming: a Survey K I N F O R M a T I K Im Stadtwald D 66123 Saarbr Ucken Germany Author's Address
Functional and logic programming are the most important declarative programming paradigms, and interest in combining them has grown over the last decade. Early research concentrated on the de nition and improvement of execution principles for such integrated languages, while more recently e cient implementations of these execution principles have been developed so that these languages became re...
متن کامل